L`ensemble des formules booléennes quantifiées est défini par induction : - On définit le fait qu`une assignation satisfait une formule booléenne quantifiée par induction. Si une formule booléenne quantifiée est close (toutes les variables sont sous la portée d`un quantificateur), alors ...